Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...
Lee mas
Modelling and Development of Intelligent Systems : 6th International Conference, MDIS 2019, Sibiu, Romania, October 3–5, 2019, Revised Selected Papers
This volume constitutes the refereed proceedings of the 6th International Conference on Modelling and Development of Intelligent ...
Lee mas
Objects, Components, Models and Patterns : 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings
This book constitutes the thoroughly refereed proceedings of the 46th International Conference on Objects, Components, Models ...
Lee mas
OpenMP: Portable Multi-Level Parallelism on Modern Systems
This book constitutes the proceedings of the 16th International Workshop on OpenMP, IWOMP 2020, held in Austin, TX, USA, ...
Lee mas
Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
This book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which took place in Dublin, ...
Lee mas
Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings
This book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March ...
Lee masProgramming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings
This book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April ...
Lee mas
Progress in Cryptology - AFRICACRYPT 2020 : 12th International Conference on Cryptology in Africa, Cairo, Egypt, July 20 – 22, 2020, Proceedings
This book constitutes the refereed proceedings of the 12th International Conference on the Theory and Application of Cryptographic ...
Lee mas
Quality of Information and Communications Technology
This book constitutes the refereed proceedings of the 13th International Conference on the Quality of Information and Communications ...
Lee mas
Quality of Software Architectures. Models and Architectures : 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings
This book is organized in topical sections on architectural design and architectural decisions, tracing architectural decisions, ...
Lee mas
Rationale-Based Software Engineering
Many decisions are required throughout the software development process. These decisions, and to some extent the decision-making ...
Lee mas
Reversible Computation
This book constitutes the refereed proceedings of the 12th International Conference on Reversible Computation, RC 2020, held ...
Lee mas
Science and Technologies for Smart Cities
This book constitutes the refereed proceedings of the 5th Annual Smart City 360° Summit, held in Braga, Portugal, in December ...
Lee mas
Services Computing – SCC 2020
This volume constitutes the proceedings of the 17th International Conference on Services Computing 2020, held as Part of ...
Lee mas
Smart Grid and Internet of Things
This book constitutes the refereed proceedings of the Third EAI International Conference on Smart Grid and Internet of Things, ...
Lee mas
Soft Computing and its Engineering Applications
This book constitutes the refereed proceedings of the Second International Conference on Soft Computing and its Engineering ...
Lee mas
Software Architecture
This book aims to introduce the theoretical foundations, various sub-fields, current research, and practical methods of software ...
Lee mas
Software Architecture
This book constitutes the refereed proceedings of the tracks and workshops which complemented the 14th European Conference ...
Lee mas
Software Architecture
This book constitutes the refereed proceedings of the 14th International Conference on Software Architecture, ECSA 2020, ...
Lee mas
Software Architecture by Example : Using C# and .NET / Paul Michaels
Guides you in understanding how a software solution is designed using different architectural processes and scenarios. Each ...
Lee mas
